$P$ $\Leftarrow\!\Rightarrow$ $Q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($P$ $\Rightarrow$ $Q$) $\wedge$ ($P$ $\Leftarrow\!$ $Q$)